A view of concurrent process synchronisation
نویسندگان
چکیده
منابع مشابه
Higher Levels of Process Synchronisation
Four new synchronisation primitives (SEMAPHOREs, RESOURCEs, EVENTs and BUCKETs) were introduced in the KRoC 0.8beta release of occam for SPARC (SunOS/Solaris) and Alpha (OSF/1) UNIX workstations [1][2][3]. This paper reports on the rationale, application and implementation of two of these (SEMAPHOREs and EVENTs). Details on the other two may be found on the web [4]. The new primitives are desig...
متن کاملGenerating Adapters for Concurrent Component Protocol Synchronisation
In general few components are reused as they are. Often, available components are incompatible with what is required. This necessitates component adaptations or the use of adapters between components. In this paper we develop algorithms for the synthesis of adapters, coercing incompatible components into meeting requirements. We concentrate on adapters for concurrent systems, where adapters are...
متن کاملA Preliminary Analysis of Loss Synchronisation between Concurrent TCP Flows
This paper introduces a preliminary study of synchronisation between packet loss events across concurrent TCP flows. Loss synchronisation is explored over four routing paths – one inside Australia and three international paths (Australia to Asia, Europe and North America respectively). We confirm that loss synchronisation does exist but the level varies from path to path. We outline further wor...
متن کاملA Hyperdoctrinal View of Concurrent Constraint Programming
We study a relationship between logic and computation via concurrent constraint programming. In previous papers it has been shown how a simple language for specifying asynchronous concurrent processes can be interpreted in terms of constraints. In the present paper we show that the programming interpretation via closure operators is intimately related to the logic of the constraints. More preci...
متن کاملA Logical View of Concurrent Constraint Programming
Concurrent Constraint Programming (CCP) has been the subject of growing interest as the focus of a new paradigm for concurrent computation. Like logic programming it claims close relations to logic. In fact CCP languages are logics in a certain sense that we make precise in this paper. In recent work it was shown that the denotational semantics of determinate concurrent constraint programming l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1975
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/18.4.375